\begin{tabbing}
P\=ushArgs \+
\\[0ex][`x`,term\_to\_arg $x$ 
\\[0ex];`e`,term\_to\_arg $e$ 
\\[0ex];`A`,term\_to\_arg $A$ 
\\[0ex]
\\[0ex];`UH`,term\_to\_arg Type 
\\[0ex];`UA`,term\_to\_arg Type 
\\[0ex];`i`,int\_to\_arg 4]
\-
\end{tabbing}